11041. Tutorial on software design techniques: October 12, 1976, San Francisco, California
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Computer programs
Classification :
QA
76
.
6
.
T88
11042. Tutorial, software management
Author: ]edited by[ Donald J. Reifer
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer programming management
Classification :
QA
76
.
6
.
T888
1986
11043. Twisted network programming essential
Author: / Abe Fettig
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer networks--Design and construction,Internet programming.,Open source software.,Python (Computer program language)
Classification :
QA
,
76
.
73
,.
P98
,
F48
,
2005
11044. Twisted network programming essentials
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Python (Computer program language) ; Internet programming ; Computer networks ; Design and construction ; Open source software ;
11045. Twisted network programming essentials
Author: / Abe Fettig
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Python (Computer program language),Internet programming,Computer networks- Design and construction,Open source software
Classification :
QA76
.
73
.
P98
,
F48
2005
11046. Twisted network programming essentials
Author: / Abe Fettig
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Python (Computer program language),Internet programming,Computer networks- Design and construction,Open source software
Classification :
QA76
.
73
.
P98
,
F48
2005
11047. Twisted network programming essentials
Author: / Abe Fettig
Library: (South Khorasan)
Subject: Python (Computer program language),Internet programming,Computer networks--Design and construction,Open source software
Classification :
QA76
.
73
.
P98
,
F48
2005
11048. Twisted network programming essentials
Author: / Abe Fettig,At head of title on cover: Event-driven network programming with Python.
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Python (Computer program language),Internet programming,Computer networks--Design and construction,Open source software
Classification :
QA76
.
73
P98
F48
11049. Twisted network programming essentials
Author: Jessica McKellar, Abe Fettig
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Design and construction,Internet programming,Open source software,Python (Computer program language)
Classification :
QA76
.
73
.
P98
F48
2013
11050. Two scoops of Django :
Author: Daniel Greenfeld, Audrey Roy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
11051. Two scoops of Django :
Author: Daniel Roy Greenfeld, Audrey Roy Greenfeld.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
11052. Type systems for distributed programs :
Author: Ornela Dardha
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
V47
11053. Type theory and functional programming /
Author: Simon Thompson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Type theory
Classification :
QA76
.
62
.
T46
1991
11054. Types for proofs and programs :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
11055. Types for proofs and programs :
Author: Paul Callaghan ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Computer programming, Congresses
Classification :
QA76
.
9
.
A96
T96
2000
11056. Types for proofs and programs
Author: / Paul Callaghan ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Computer programming--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
T96
,
2000
11057. Types for proofs and programs :
Author: Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Computer programming, Congresses
Classification :
QA76
.
9
.
A96
T96
2004
11058. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Author: Paul Callaghan...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
2277
11059. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
Author: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1657
11060. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
Author: Thierry Coquand...]et al.[, )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1956
